采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

The corrosion behavior and mechanism of X65 steel induced by iron‐oxidizing bacteria in the seawater environment

The corrosion behavior and mechanism of iron‐oxidizing bacteria (IOB) on X65 steel in seawater are studied. This study uses the methods of weight loss, electrochemical measurements, and surface analysis. The results show that the IOB increases the corrosion damage degree of steel. Pittings are observed in the medium with IOB. The potentiodynamic polarization curves show that the anodic reaction rate is accelerated in the corrosion process of IOB. The synergies in corrosion between the metal surface, abiotic corrosion products, and bacterial cells, and the pitting corrosion mechanism of X65 steel are discussed.     

APP软件性能效率研究

性能效率是APP软件的重要质量属性，但目前缺乏APP软件性能效率的通用模型。分析了APP软件的性能特征，基于ISO/IEC 25010标准提出了APP软件的性能效率模型，定义了APP软件性能效率的子特性和度量指标。基于提出的APP软件性能效率模型，通过实验对APP软件的性能效率进行了度量及相关分析。     

输气管道仿真模型校正技术研究进展

为了解决输气管道仿真系统存在计算值与实际值偏差的问题,对解决该问题的模型校正技术展开国内外调研。提出造成仿真计算不精准的三个主要误差来源:输入参数测量误差、缓变参数误差、手工输入误差。最后通过分析国内外仿真模型校正技术研究现状,建议在动态仿真的基础开展输气管道的模型校正技术研究,以避免输气管道系统数据波动带来的误差。     

双相区加速冷却处理对X80管线钢组织与性能的影响

采用双相区加速冷却法(加速冷却始冷温度为700 ℃)对X80管线钢进行热处理,获得了贝氏体和铁素体(B+F)双相组织。然后通过组织表征、力学性能测试以及在3.5wt%NaCl溶液中的耐蚀性进行研究。结果表明:热处理后获得的管线钢组织由板条状贝氏体、多边形铁素体及少量马氏体/奥氏体岛组成。与热处理前相比,(B+F)双相管线钢屈强比较低,为0.65,初始加工硬化指数为0.31,均匀伸长率达8.3%,塑性显著提升;双相组织中含有52.4%的铁素体,因而耐腐蚀性明显提高。通过双相区加速冷却法获得的(B+F)两相组织在塑变过程中发生协调变形,可以适应大变形的需求,同时耐蚀性优异,为大变形管线钢实际生产提供一定的借鉴。     

无人机控制站通用软件平台设计

针对无人机控制站难以与多型无人机互联互通的问题，从通用控制软件的角度开展研究，分析了设计需求，提出了一种采用平台+插件的软件架构，并分析了软件架构、基于XML技术的帧格式信号和参数信息描述、动态报文解析和组包、软件界面定制等关键技术。在车载控制站和便携控制站的工程验证表明，所提解决方案实现了对多型无人机的控制，具有良好的通用性、扩展性，并支持用户自定义对外通信协议和人机交互功能、界面。     

利用调度优化模型研究原油调合方案的可行性

针对某沿海炼油企业拟投用原油调合系统以稳定混炼原油的性质,设计方案要求将部分码头罐的操作模式由混储改为单储的情况,采用约束规划与数学规划复合建模,实现了码头至厂区大容积长输线模拟,建立了该企业的原油调度优化模型并研究了设计方案的可行性。针对240h调度周期、10种可加工原油、3艘到港油轮的复杂工况进行了优化计算。结果表明:该设计方案具备可行性,且油轮仍可实现到港即卸油,蒸馏装置混炼油种也可长时间保持稳定;模型的优化计算时间较短(小于15min),且对长输线收付及存油情况模拟准确,复合建模方法满足工业应用要求。     

煤磨热风管道改造的效果

中联万基水泥有限公司4500t/d熟料生产线采用SCLW4-12×13.4第四代篦冷机,煤磨热风取风口和余热发电AQC热风取风口在篦冷机同一对称位置,煤磨与余热发电系统存在争风现象,开停煤磨对余热发电系统影响较大。通过从废气管道处开孔,加装管道和电动阀,与热风管道汇合通往煤磨沉降室,调整相应阀门开度,可以控制入煤磨烟气温度,这样不但提高了余热发电量,而且提高了煤磨产量,同时也降低了窑头排风机的负荷,降低了熟料生产电耗。     

埋地管道泄漏内封堵装置设计与研究

针对流体输送埋地管道泄漏问题,设计了一种利用管道机器人携带封堵气囊进行快速应急封堵修复的埋地管道泄漏内封堵装置。采用矩阵变换方法建立了牵引系统驱动轮过弯方程,利用MATLAB软件对过弯方程进行了验证,同时利用ADAMS软件仿真分析过弯路径与驱动轮转角对牵引系统行走速度的影响。研究结果表明:由两个串联封堵器组成的应急封堵系统可满足复杂工况下的管道泄漏封堵要求;牵引系统驱动轮在弯管内部行走时,单轮速度呈周期性变化,但三个驱动轮整体周期运动特性一致;驱动轮转角在25°~40°时,牵引系统行走速度与驱动轮转角成正比,且转角为30°时驱动效果最好。该内封堵装置的结构设计可为管道泄漏应急封堵领域装备的研发提供重要参考。     

P91钢管道异常低硬度部位的组织和性能

对电厂运行过程中发现的P91钢主蒸汽管道的低硬度部位进行了微观组织观察、短时力学性能试验和高温持久强度试验,分析了其硬度偏低的原因。结果表明,低硬度区域P91钢组织为铁素体+析出物,位错密度较低,M₂₃C₆相在晶界处粗化聚集,同时析出新相Laves相,使得P91钢的短时力学性能和高温持久强度下降严重。